rewrite semantics